Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🧮 Algebraic Effects
Effect Systems, Handlers, Continuation, Delimited Control
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
146388
posts in
27.6
ms
Tsonnet
#31 - Taking back control of
equality
dev.to
·
8h
·
Discuss:
DEV
📦
Serde
extended C*-
algebra
in
nLab
ncatlab.org
·
8h
∘
Category Theory
How do you handle domain-specific transformation
logic
without
hardcoding
it?
news.ycombinator.com
·
16h
·
Discuss:
Hacker News
🏭
Code Generation
Differential
equation
with a small delay
johndcook.com
·
12h
🕐
Vector Clocks
A Common Interface for
Automatic
Differentiation
jmlr.org
·
16h
🌀
Naiad
Wire-form shape memory
alloy
actuators
: modeling, design, and control
nature.com
·
28m
🤖
Robotics
Refining
Almost-Safe Value Functions on the
Fly
arxiv.org
·
23h
λ
Functional Programming
Your
AGENTS.md
is a
Liability
paddo.dev
·
5h
💬
Prompt Engineering
Maximally minimal specialization: always
applicable
impls
smallcultfollowing.com
·
16h
🔗
Dependent Types
Differential
Logic
• 15
inquiryintoinquiry.com
·
10h
∘
Category Theory
Your AI Should Be Writing Tests. The Unfair Advantage Every Vibe
Coder
Ignores
.
github.com
·
8h
·
Discuss:
r/opensource
🌀
Maelstrom
Extending Formal Verification to
Sequential
Circuits (U. of
Bremen
)
semiengineering.com
·
11h
✓
Formal Verification
Weather
Buoy
Part 2
earthchronicles.substack.com
·
1h
·
Discuss:
Substack
⚡
LMAX Disruptor
TurboSparse
Efficiency: Achieving 97% Parameter Sparsity in
Mixtral-47B
hackernoon.com
·
1h
🤖
TVM
Understanding
SMF
properties
davepacheco.net
·
6h
🛡️
Memory Safety
A
Number
with a
Shadow
campedersen.com
·
23h
🌀
Naiad
Experimental Evidence for Simulator Theory— Part 1: Emergent
Misalignment
and Weird
Generalizations
lesswrong.com
·
1d
🎲
Deterministic Simulation
Hyperfunctions
math.columbia.edu
·
12h
λ
Functional Programming
The
Structural
Navigation Agent: Enforcement Architecture and
Structural
Analysis for Multi-Agent
Coordination
petronus.eu
·
4h
·
Discuss:
DEV
⚓
Anchors
State of
Knuckledragger
III: Kernel Changes,
Symbolic
Union, AI, and more
philipzucker.com
·
1d
🦀
Rust
Loading...
Loading more...
Page 2 »
Keyboard Shortcuts
Navigation
Next / previous item
j
/
k
Open post
o
or
Enter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Browse
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help